Using source transformation to test and model check implicit-invocation systems
نویسندگان
چکیده
منابع مشابه
Using source transformation to test and model check implicit-invocation systems
In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit-invocation software systems. The framework includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation software systems, and a set of formal rule-based source transformation too...
متن کاملTesting and Model Checking Implicit-Invocation Systems Using Automated Transformation1
In this paper, we present a framework that allows for testing and model checking of implicit-invocation systems. The framework includes a new programming language – the Implicit-Invocation Language (IIL), and a set of formal rule-based transformation tools that allow automatic generation of executable and formal verification artifacts. We provide details on the design of these formal rule-based...
متن کاملCategorization of Implicit Invocation Systems
Development and maintenance of implicit invocation systems is not as well understood and supported as the development of explicit invocation systems. The situation is aggravated in systems that allow the composition of functionality developed by different organizations, potentially using different programming languages and methodologies. In this document, we categorize the various ways in which...
متن کاملModel Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles
In general, model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially difficult to analyze software systems developed with the implicitinvocation architectural style because the loose coupling of their components increases the size of the finite state model. It is the goal of th...
متن کاملAspect Reasoning by Reduction to Implicit Invocation
Aspect-oriented programming constructs complicate reasoning about program behavior. Our position is that we can reduce key elements of aspect programming to implicit invocation (II) and then use existing work on reasoning about II to reason formally about aspect programs. We map aspect-oriented programs to equivalent programs with join points and advice replaced by event notifications and obser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2006
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.04.008